Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
111	Language Fuzzing Using Constraint Logic Programming Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Declarative programming Computer programming Constraint logic programming Constraint programming Logic programming Programming paradigms Formal languages CLP Prolog Context-free grammar JavaScript
112	Attensity, Teradata and Anderson Analytics talk on the future of text analytics The text analytic market is set to exceed £635mln as businesses look to capture customer sentiment to gain Add to Reading List Source URL: www.textanalyticsnews.com Language: English - Date: 2012-02-23 05:34:21 Economy Business Business intelligence Information technology Natural language processing Formal sciences Teradata Analytics Big data Attensity Text mining Business analytics
113	PCFGs 2 Questions Calculating P(w1m ) Inside Probabilities Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2015-11-05 12:02:32 Formal languages Compiler construction Natural language parsing Software engineering Bioinformatics Statistical natural language processing Stochastic context-free grammar CYK algorithm Computing Applied mathematics Parsing Context-free grammar
114	Modern model-based development approach for embedded systems Practical Experience Sergey Vinogradov Artem Ozhigin Corporate Technology, Research and Technology Center Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Computing Systems engineering Project management Formal methods Unified Modeling Language Modeling language Domain-specific language Software development Model-driven engineering Computer programming Requirement
115	Microsoft WordCARLSON.doc Add to Reading List Source URL: www.ling.helsinki.fi Language: English - Date: 2006-02-13 09:07:42 Formal languages Syntax Linguistics Language Software engineering Compiler construction Computational linguistics Grammar Parsing Treebank Context-free grammar Categorial grammar
116	Microsoft Word - TKDESIR2.doc Add to Reading List Source URL: wwwusers.di.uniroma1.it Language: English - Date: 2006-09-18 05:31:35 Natural language processing Knowledge representation Computational linguistics Knowledge engineering Semantic Web Ontology INTEROP-VLab Terminology extraction Glossary Automatic taxonomy construction Formal ontology WordNet
117	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2016-07-11 03:14:21 Model theory Mathematical logic Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus Constructible universe Structure
118	Formal Ontology and Principles and Prospects of Knowledge Organisation: An Axiomatic Approach Heinrich Herre Institut für Medizinische Informatik, Statistik und Epidemiologie Medizinische Fakultät, Universität Leipzig Add to Reading List Source URL: benking.de Language: English - Date: 2013-06-20 07:54:35 Ontology Information science Knowledge representation Technical communication Upper ontology General formal ontology Formal ontology Web Ontology Language Knowledge representation and reasoning Category of being Frame language Ontic
119	The Simple Language Generator: Encoding complex languages with simple grammars Douglas L. T. Rohde September, 1999 CMU-CS Add to Reading List Source URL: tedlab.mit.edu Language: English - Date: 2012-08-07 12:32:37 Formal languages Grammar Compiler construction Generative grammar Parsing Syntax Context-free grammar Terminal and nonterminal symbols Phrase
120	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory

UPDATE